1. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
2. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
3. 1: Exploring the power of automated reasoning /
پدیدآورنده : Larry Wos ; Gail W. Pieper.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
4. 1: Exploring the power of automated reasoning /
پدیدآورنده : Larry Wos ; Gail W. Pieper.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
5. The automation of reasoning : an experimenters notebook with OTTER tutorial
پدیدآورنده : Wos, Larry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Automatic theorem proving
رده :
QA
76
.
9
.
A96
W68
1996
